| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
20/10/1997 |
|
Data da última atualização: |
21/02/2011 |
|
Autoria: |
HIGA, R. H. |
|
Afiliação: |
ROBERTO HIROSHI HIGA, CNPTIA. |
|
Título: |
Uso do Prolog para executar especificações formais por traços. |
|
Ano de publicação: |
1997 |
|
Fonte/Imprenta: |
Campinas: EMBRAPA-CNPTIA, 1997. |
|
Páginas: |
19 p. |
|
Série: |
(EMBRAPA-CNPTIA. Relatório Técnico, 1). |
|
ISSN: |
1414-4727 |
|
Idioma: |
Português |
|
Conteúdo: |
A especificação formal de um módulo de software facilita a detecção e eliminação de ambigüidades, incompletudes e inconsistências, tornando sua descrição clara e precisa. O objetivo deste trabalho é apresentar a técnica de especificação formal de módulos de software por traços (Bartussek & Parnas, 1986) e mostrar como esta pode tornar-se executável em computador, utilizando a linguagem de programação Prolog. Exemplos e um protótipo de ferramenta, em que tal processo poderia ser utilizado são apresentados e discutidos, bem como os passos a serem seguidos na seqüência deste trabalho. |
|
Palavras-Chave: |
Engenharia de software; Especificação formal de software; Especificações formais por traços; Prolog; Software. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
Marc: |
LEADER 01205nam a2200205 a 4500
001 1005011
005 2011-02-21
008 1997 bl uuuu t 00u1 u #d
022 $a1414-4727
100 1 $aHIGA, R. H.
245 $aUso do Prolog para executar especificações formais por traços.
260 $aCampinas: EMBRAPA-CNPTIA$c1997
300 $a19 p.
490 $a(EMBRAPA-CNPTIA. Relatório Técnico, 1).
520 $aA especificação formal de um módulo de software facilita a detecção e eliminação de ambigüidades, incompletudes e inconsistências, tornando sua descrição clara e precisa. O objetivo deste trabalho é apresentar a técnica de especificação formal de módulos de software por traços (Bartussek & Parnas, 1986) e mostrar como esta pode tornar-se executável em computador, utilizando a linguagem de programação Prolog. Exemplos e um protótipo de ferramenta, em que tal processo poderia ser utilizado são apresentados e discutidos, bem como os passos a serem seguidos na seqüência deste trabalho.
653 $aEngenharia de software
653 $aEspecificação formal de software
653 $aEspecificações formais por traços
653 $aProlog
653 $aSoftware
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Milho e Sorgo; Embrapa Unidades Centrais. |
|
Data corrente: |
07/01/2010 |
|
Data da última atualização: |
25/05/2018 |
|
Tipo da produção científica: |
Artigo em Periódico Indexado |
|
Circulação/Nível: |
B - 1 |
|
Autoria: |
SOUZA, L. V. de; MIRANDA, G. V.; GALVÃO, J. C. C.; GUIMARAES, L. J. M.; SANTOS, I. C. dos. |
|
Afiliação: |
LEANDRO VAGNO DE SOUZA, Dow Agrosciences - SP; GLAUCO VIEIRA MIRANDA, UFV; JOÃO CARLOS CARDOSO GALVÃO, UFV; LAURO JOSE MOREIRA GUIMARAES, CNPMS; IZABEL CRISTINA DOS SANTOS, EPAMIG. |
|
Título: |
Combining ability of maize grain yield under different levels of environmental stress. |
|
Ano de publicação: |
2009 |
|
Fonte/Imprenta: |
Pesquisa Agropecuária Brasileira, Brasília, DF, v. 44, n. 10, p. 1297-1303, out. 2009. |
|
DOI: |
10.1590/S0100-204X2009001000013 |
|
Idioma: |
Inglês |
|
Conteúdo: |
Abstract ? The objectives of this work were to caracterize the tropical maize germplasm and to compare the combining abilities of maize grain yield under different levels of environmental stress. A diallel was performed among tropical maize cultivars with wide adaptability, whose hybrid combinations were evaluated in two sowing dates, in two years. The significance of the environmental effect emphasized the environmental contrasts. Based on grain yield, the environments were classified as favorable (8,331 kg ha-1), low stress (6,637 kg ha-1), high stress (5,495 kg ha-1), and intense stress (2,443 kg ha-1). None of the genetic effects were significant in favorable and intense stress environments, indicating that there was low germplasm variability under these conditions. In low and high stresses, the specific combining ability effects (SCA) were significant, showing that the nonadditive genetic effects were the most important, and that it is possible to select parent pairs with breeding potential. SCA and grain yield showed significant correlations only between the closer environment pairs like favorable/low stress and high/intense stress. The genetic control of grain yield differed under contrasting stress environments for which maize cultivars with wide adaptability are not adequate. |
|
Palavras-Chave: |
Capacidade de combinação; Diallel; Estresse abiótico; Melhoramento genético; Produtividade de grãos de milho. |
|
Thesagro: |
Controle Genético; Zea Mays. |
|
Thesaurus NAL: |
Breeding; Drought. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/160670/1/Combining-ability.pdf
https://ainfo.cnptia.embrapa.br/digital/bitstream/AI-SEDE-2010/47252/1/44n10a13.pdf
|
|
Marc: |
LEADER 02192naa a2200289 a 4500
001 1580240
005 2018-05-25
008 2009 bl uuuu u00u1 u #d
024 7 $a10.1590/S0100-204X2009001000013$2DOI
100 1 $aSOUZA, L. V. de
245 $aCombining ability of maize grain yield under different levels of environmental stress.
260 $c2009
520 $aAbstract ? The objectives of this work were to caracterize the tropical maize germplasm and to compare the combining abilities of maize grain yield under different levels of environmental stress. A diallel was performed among tropical maize cultivars with wide adaptability, whose hybrid combinations were evaluated in two sowing dates, in two years. The significance of the environmental effect emphasized the environmental contrasts. Based on grain yield, the environments were classified as favorable (8,331 kg ha-1), low stress (6,637 kg ha-1), high stress (5,495 kg ha-1), and intense stress (2,443 kg ha-1). None of the genetic effects were significant in favorable and intense stress environments, indicating that there was low germplasm variability under these conditions. In low and high stresses, the specific combining ability effects (SCA) were significant, showing that the nonadditive genetic effects were the most important, and that it is possible to select parent pairs with breeding potential. SCA and grain yield showed significant correlations only between the closer environment pairs like favorable/low stress and high/intense stress. The genetic control of grain yield differed under contrasting stress environments for which maize cultivars with wide adaptability are not adequate.
650 $aBreeding
650 $aDrought
650 $aControle Genético
650 $aZea Mays
653 $aCapacidade de combinação
653 $aDiallel
653 $aEstresse abiótico
653 $aMelhoramento genético
653 $aProdutividade de grãos de milho
700 1 $aMIRANDA, G. V.
700 1 $aGALVÃO, J. C. C.
700 1 $aGUIMARAES, L. J. M.
700 1 $aSANTOS, I. C. dos
773 $tPesquisa Agropecuária Brasileira, Brasília, DF$gv. 44, n. 10, p. 1297-1303, out. 2009.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Milho e Sorgo (CNPMS) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
